On countable chains having decidable monadic theory
نویسندگان
چکیده
Rationals and countable ordinals are important examples of structures with decidable monadic second-order theories. A chain is an expansion of a linear order by monadic predicates. We show that if the monadic second-order theory of a countable chain C is decidable then C has a non-trivial expansion with decidable monadic second-order theory.
منابع مشابه
Topology in Zfc*
The first-order theory of linear order is far from trivia!. The monadic (secondorder) theory of linear order is much stronger. Stil~ surpr,Mng decidability results were proven in that direction. Rabin proved in [10i that the monadic theory of the rational chain is decidable. Hence the monadic theory of all countable linear orders is decidable. Biichi proved in [I] that the monadic theory of ord...
متن کاملClique-width of countable graphs: a compactness property
We de*ne the clique-width of a countable graph. We prove that a countable graph has *nite clique-width i+ its *nite induced subgraphs have bounded clique-width. We obtain an application to a conjecture concerning the structure of sets of countable graphs having a decidable monadic second-order satis*ability problem. c © 2003 Elsevier B.V. All rights reserved.
متن کاملLimited Set quantifiers over Countable Linear Orderings
In this paper, we study several sublogics of monadic secondorder logic over countable linear orderings, such as first-order logic, firstorder logic on cuts, weak monadic second-order logic, weak monadic second-order logic with cuts, as well as fragments of monadic secondorder logic in which sets have to be well ordered or scattered. We give decidable algebraic characterizations of all these log...
متن کاملTree Automata and Automata on Linear Orderings
We show that the inclusion problem is decidable for rational languages of words indexed by scattered countable linear orderings. The method leans on a reduction to the decidability of the monadic second order theory of the infinite binary tree [9]. Mathematics Subject Classification. 68Q45, 03D05.
متن کاملDecidability of Second-order Theories and Automata on Infinite Treeso
Introduction. In this paper we solve the decision problem of a certain secondorder mathematical theory and apply it to obtain a large number of decidability results. The method of solution involves the development of a theory of automata on infinite trees—a chapter in combinatorial mathematics which may be of independent interest. Let £ = {0, 1}, and denote by T the set of all words (finite seq...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. Symb. Log.
دوره 77 شماره
صفحات -
تاریخ انتشار 2012